###########part one##############
vlib work
vmap work work
vlog counter.v tcounter.v
###########part two##############
vsim -novopt test_counter
add wave count
add wave clk
add wave reset
###########part three##############
force -freeze clk 0 0, 1 {50 ns} -r 100
force reset 1
run 100
force reset 0
run 300
force reset 1
run 400
force reset 0
run 200
#############  end  #############
